English algorithm theory: תרגום לשפות אחרות